Fang, Huixing: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Comparative modelling and verification of Pthreads and Dthreads

Fei, Yuan, Zhu, Huibiao, Wu, Xi, Fang, Huixing, Qin, Shengchao

Journal:

Journal of Software Evolution and Process

Year:

2018

Language:

english

File:

PDF, 10.18 MB

english, 2018

2

Detection of Salmonella Infection in Chickens by an Indirect Enzyme-Linked Immunosorbent Assay Based on Presence of PagC Antibodies in Sera

Ma, Zhe, Yang, Xinyi, Fang, Yizhen, Tong, Zexin, Lin, Huixing, Fan, Hongjie

Journal:

Foodborne Pathogens & Disease

Year:

2017

Language:

english

File:

PDF, 118 KB

english, 2017

3

[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Comparative Modeling and Verification of Pthreads and Dthreads

Fei, Yuan, Zhu, Huibiao, Wu, Xi, Fang, Huixing

Year:

2016

Language:

english

File:

PDF, 397 KB

english, 2016

4

Hydrogen embrittlement of an automotive 1700 MPa martensitic advanced high-strength steel

Venezuela, Jeffrey, Lim, Fang Yan, Liu, Li, James, Sonia, Zhou, Qingjun, Knibbe, Ruth, Zhang, Mingxing, Li, Huixing, Dong, Futao, Dargusch, Matthew S., Atrens, Andrej

Journal:

Corrosion Science

Year:

2020

File:

PDF, 6.09 MB

2020

5

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System

Shi, Jianqi, Zhu, Longfei, Huang, Yanhong, Guo, Jian, Zhu, Huibiao, Fang, Huixing, Ye, Xin

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

6

Streptococcus Suis Serotype 2 Stimulates Neutrophil Extracellular Traps Formation via Activation of p38 MAPK and ERK1/2

Ma, Fang, Chang, Xiaojing, Wang, Guangyu, Zhou, Hong, Ma, Zhe, Lin, Huixing, Fan, Hongjie

Journal:

Frontiers in Immunology

Year:

2018

Language:

english

File:

PDF, 2.65 MB

english, 2018

7

[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System

Shi, Jianqi, He, Jifeng, Zhu, Huibiao, Fang, Huixing, Huang, Yanhong, Zhang, Xiaoxian

Year:

2012

Language:

english

File:

PDF, 1.57 MB

english, 2012

8

Electrochemiluminescence Biosensor for Hyaluronidase Based on the Ru(bpy) 32+ Doped SiO 2 Nanoparticles Embedded in the Hydrogel Fabricated by Hyaluronic Acid and Polyethylenimine

Li, Zhixin, Zhang, Jinwei, Chen, Huixing, Huang, Xiaocui, Huang, Da, Luo, Fang, Wang, Jian, Guo, Longhua, Qiu, Bin, Lin, Zhenyu

Journal:

ACS Applied Bio Materials

Year:

2019

Language:

english

File:

PDF, 660 KB

english, 2019

9

[IEEE 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Guilin, China (2019.7.29-2019.7.31)] 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata

Chen, Zuxi, Fang, Huixing, Luo, Xiangyu

Year:

2019

File:

PDF, 151 KB

2019

10

Streptococcus suis Serotype 2 Biofilms Inhibit the Formation of Neutrophil Extracellular Traps

Ma, Fang, Yi, Li, Yu, Ningwei, Wang, Guangyu, Ma, Zhe, Lin, Huixing, Fan, Hongjie

Journal:

Frontiers in Cellular and Infection Microbiology

Year:

2017

Language:

english

File:

PDF, 2.04 MB

english, 2017

11

[IEEE 2018 International Conference on Intelligent Autonomous Systems (ICoIAS) - Singapore (2018.3.1-2018.3.3)] 2018 International Conference on Intelligent Autonomous Systems (ICoIAS) - Performance Modelling and Analysis of a Station-free Bike Sharing System

Zhou, Meihua, Ding, Jie, Fang, Huixing

Year:

2018

Language:

english

File:

PDF, 778 KB

english, 2018

12

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - Verification for OAuth Using ASLan++

Yan, Haixing, Fang, Huixing, Kuka, Christian, Zhu, Huibiao

Year:

2015

Language:

english

File:

PDF, 288 KB

english, 2015

13

[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - xBIL -- A Hardware Resource Oriented Binary Intermediate Language

Shi, Jianqi, Zhu, Longfei, Fang, Huixing, Guo, Jian, Zhu, Huibiao, Ye, Xin

Year:

2012

File:

PDF, 480 KB

2012

14

[IEEE 2018 Cross Strait Quad-Regional Radio Science and Wireless Technology Conference (CSQRWC) - Xuzhou (2018.7.21-2018.7.24)] 2018 Cross Strait Quad-Regional Radio Science and Wireless Technology Conference (CSQRWC) - Performance Modeling and Analysis for Traffic Path Guidance System

Sun, Hui, Fang, Huixing, Ji, Lanyanz

Year:

2018

Language:

english

File:

PDF, 2.23 MB

english, 2018

15

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Fang, Huixing, Shi, Jianqi, Zhu, Huibiao, Guo, Jian, Larsen, Kim Guldstrand, David, Alexandre

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 2.94 MB

english, 2014

16

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - An Object-Oriented Language for Modeling of Hybrid Systems

Fang, Huixing, Zhu, Huibiao, Shi, Jianqi

Year:

2015

Language:

english

File:

PDF, 673 KB

english, 2015

17

SMT-Based Symbolic Encoding and Formal Analysis of HML Models

Fang, Huixing, Zhu, Huibiao, He, Jifeng

Journal:

Mobile Networks and Applications

Year:

2016

Language:

english

File:

PDF, 3.21 MB

english, 2016

18

Identification of human gastric carcinoma biomarkers by differential protein expression analysis using18O labeling and NanoLC-MS/MS coupled with laser capture microdissection

Zhang ZhiQiang, Li MaoYu, Zhang GuiYing, Pen Fang, Yao HuiXing, Xiao ZhiQiang, Chen ZhuChu

Journal:

Medical Oncology

Year:

2010

Language:

english

File:

PDF, 656 KB

english, 2010

19

Electrochemiluminescence biosensor for hyaluronidase activity detection and inhibitor assay based on the electrostatic interaction between hyaluronic acid and Ru(bpy)32+

Li, Zhixin, Chen, Huixing, Zhuo, Zesheng, Huang, Da, Luo, Fang, Chen, Li, Wang, Jian, Guo, Longhua, Qiu, Bin, Lin, Zhenyu

Journal:

Sensors and Actuators B: Chemical

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

20

Electrochemiluminescence Biosensor for Hyaluronidase Based on the Ru(bpy) 32+ Doped SiO 2 Nanoparticles Embedded in the Hydrogel Fabricated by Hyaluronic Acid and Polyethylenimine

Li, Zhixin, Zhang, Jinwei, Chen, Huixing, Huang, Xiaocui, Huang, Da, Luo, Fang, Wang, Jian, Guo, Longhua, Qiu, Bin, Lin, Zhenyu

Journal:

ACS Applied Bio Materials

Year:

2019

File:

PDF, 660 KB

2019

21

Indoor air quality analysis of residential buildings in northeast China based on field measurements and longtime monitoring

Huang, Kailiang, Song, Jiasen, Feng, Guohui, Chang, Qunpeng, Jiang, Bian, Wang, Jun, Sun, Wen, Li, Huixing, Wang, Jinming, Fang, Xianshi

Journal:

Building and Environment

Year:

2018

Language:

english

File:

PDF, 16.10 MB

english, 2018

22

Energy-saving analysis of ground source heat pump combined with floor radiant air conditioning system

Zhang, Linhua, Fang, Huixing, Wang, Wei, Liu, Jiying

Journal:

Procedia Engineering

Year:

2017

Language:

english

File:

PDF, 643 KB

english, 2017

23

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Formal Verification and Simulation: Co-verification for Subway Control Systems

Fang, Huixing, Guo, Jian, Zhu, Huibiao, Shi, Jianqi

Year:

2012

Language:

english

File:

PDF, 237 KB

english, 2012

24

Single-cell analysis of developing and azoospermia human testicles reveals central role of Sertoli cells

Zhao, LiangYu, Yao, ChenCheng, Xing, XiaoYu, Jing, Tao, Li, Peng, Zhu, ZiJue, Yang, Chao, Zhai, Jing, Tian, RuHui, Chen, HuiXing, Luo, JiaQiang, Liu, NaChuan, Deng, ZhiWen, Lin, XiaoHan, Li, Na, Fang,

Journal:

Nature Communications

Year:

2020

File:

PDF, 6.00 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски